H-Termination proof of /home/matraf/haskell/eval_FullyBlown

YES 1.05 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/empty.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:

↳ HASKELL

  ↳ BR

mainModule Main

((inRange :: Ix a => (a,a) -> a -> Bool) :: Ix a => (a,a) -> a -> Bool)

module Main where

import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

mainModule Main

((inRange :: Ix a => (a,a) -> a -> Bool) :: Ix a => (a,a) -> a -> Bool)

module Main where

import qualified Prelude

Cond Reductions:
The following Function with conditions

compare x y

| x == y

= EQ

| x <= y

= LT

| otherwise

= GT

is transformed to

compare x y = compare3 x y

compare1 x y True = LT

compare1 x y False = compare0 x y otherwise

compare0 x y True = GT

compare2 x y True = EQ

compare2 x y False = compare1 x y (x <= y)

compare3 x y = compare2 x y (x == y)

The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

mainModule Main

((inRange :: Ix a => (a,a) -> a -> Bool) :: Ix a => (a,a) -> a -> Bool)

module Main where

import qualified Prelude

Let/Where Reductions:
The bindings of the following Let/Where expression

fromEnum c <= i && i <= fromEnum c'

where

i = fromEnum ci

are unpacked to the following functions on top level

inRangeI vx = fromEnum vx

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ Narrow

mainModule Main

(inRange :: Ix a => (a,a) -> a -> Bool)

module Main where

import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="inRange\n  Ix a",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="inRange vy3\n  Ix a",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
4[label="inRange vy3 vy4\n  Ix a",fontsize=16,color="blue",shape="box"];431[label="inRange :: ((@2) Int Int) -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];4 -> 431[label="",style="solid", color="blue", weight=9];
431 -> 5[label="",style="solid", color="blue", weight=3];
432[label="inRange :: ((@2) () ()) -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];4 -> 432[label="",style="solid", color="blue", weight=9];
432 -> 6[label="",style="solid", color="blue", weight=3];
433[label="inRange :: ((@2) Char Char) -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];4 -> 433[label="",style="solid", color="blue", weight=9];
433 -> 7[label="",style="solid", color="blue", weight=3];
434[label="inRange :: ((@2) ((@3) a b c) ((@3) a b c)) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];4 -> 434[label="",style="solid", color="blue", weight=9];
434 -> 8[label="",style="solid", color="blue", weight=3];
435[label="inRange :: ((@2) ((@2) a b) ((@2) a b)) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];4 -> 435[label="",style="solid", color="blue", weight=9];
435 -> 9[label="",style="solid", color="blue", weight=3];
436[label="inRange :: ((@2) Ordering Ordering) -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];4 -> 436[label="",style="solid", color="blue", weight=9];
436 -> 10[label="",style="solid", color="blue", weight=3];
437[label="inRange :: ((@2) Integer Integer) -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];4 -> 437[label="",style="solid", color="blue", weight=9];
437 -> 11[label="",style="solid", color="blue", weight=3];
438[label="inRange :: ((@2) Bool Bool) -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];4 -> 438[label="",style="solid", color="blue", weight=9];
438 -> 12[label="",style="solid", color="blue", weight=3];
5[label="inRange vy3 vy4",fontsize=16,color="burlywood",shape="triangle"];439[label="vy3/(vy30,vy31)",fontsize=10,color="white",style="solid",shape="box"];5 -> 439[label="",style="solid", color="burlywood", weight=9];
439 -> 13[label="",style="solid", color="burlywood", weight=3];
6[label="inRange vy3 vy4",fontsize=16,color="burlywood",shape="triangle"];440[label="vy3/(vy30,vy31)",fontsize=10,color="white",style="solid",shape="box"];6 -> 440[label="",style="solid", color="burlywood", weight=9];
440 -> 14[label="",style="solid", color="burlywood", weight=3];
7[label="inRange vy3 vy4",fontsize=16,color="burlywood",shape="triangle"];441[label="vy3/(vy30,vy31)",fontsize=10,color="white",style="solid",shape="box"];7 -> 441[label="",style="solid", color="burlywood", weight=9];
441 -> 15[label="",style="solid", color="burlywood", weight=3];
8[label="inRange vy3 vy4\n  Ix a  Ix b  Ix c",fontsize=16,color="burlywood",shape="triangle"];442[label="vy3/(vy30,vy31)",fontsize=10,color="white",style="solid",shape="box"];8 -> 442[label="",style="solid", color="burlywood", weight=9];
442 -> 16[label="",style="solid", color="burlywood", weight=3];
9[label="inRange vy3 vy4\n  Ix a  Ix b",fontsize=16,color="burlywood",shape="triangle"];443[label="vy3/(vy30,vy31)",fontsize=10,color="white",style="solid",shape="box"];9 -> 443[label="",style="solid", color="burlywood", weight=9];
443 -> 17[label="",style="solid", color="burlywood", weight=3];
10[label="inRange vy3 vy4",fontsize=16,color="burlywood",shape="triangle"];444[label="vy3/(vy30,vy31)",fontsize=10,color="white",style="solid",shape="box"];10 -> 444[label="",style="solid", color="burlywood", weight=9];
444 -> 18[label="",style="solid", color="burlywood", weight=3];
11[label="inRange vy3 vy4",fontsize=16,color="burlywood",shape="triangle"];445[label="vy3/(vy30,vy31)",fontsize=10,color="white",style="solid",shape="box"];11 -> 445[label="",style="solid", color="burlywood", weight=9];
445 -> 19[label="",style="solid", color="burlywood", weight=3];
12[label="inRange vy3 vy4",fontsize=16,color="burlywood",shape="triangle"];446[label="vy3/(vy30,vy31)",fontsize=10,color="white",style="solid",shape="box"];12 -> 446[label="",style="solid", color="burlywood", weight=9];
446 -> 20[label="",style="solid", color="burlywood", weight=3];
13[label="inRange (vy30,vy31) vy4",fontsize=16,color="black",shape="box"];13 -> 21[label="",style="solid", color="black", weight=3];
14[label="inRange (vy30,vy31) vy4",fontsize=16,color="burlywood",shape="box"];447[label="vy30/()",fontsize=10,color="white",style="solid",shape="box"];14 -> 447[label="",style="solid", color="burlywood", weight=9];
447 -> 22[label="",style="solid", color="burlywood", weight=3];
15[label="inRange (vy30,vy31) vy4",fontsize=16,color="black",shape="box"];15 -> 23[label="",style="solid", color="black", weight=3];
16[label="inRange (vy30,vy31) vy4\n  Ix a  Ix b  Ix c",fontsize=16,color="burlywood",shape="box"];448[label="vy30/(vy300,vy301,vy302)",fontsize=10,color="white",style="solid",shape="box"];16 -> 448[label="",style="solid", color="burlywood", weight=9];
448 -> 24[label="",style="solid", color="burlywood", weight=3];
17[label="inRange (vy30,vy31) vy4\n  Ix a  Ix b",fontsize=16,color="burlywood",shape="box"];449[label="vy30/(vy300,vy301)",fontsize=10,color="white",style="solid",shape="box"];17 -> 449[label="",style="solid", color="burlywood", weight=9];
449 -> 25[label="",style="solid", color="burlywood", weight=3];
18[label="inRange (vy30,vy31) vy4",fontsize=16,color="black",shape="box"];18 -> 26[label="",style="solid", color="black", weight=3];
19[label="inRange (vy30,vy31) vy4",fontsize=16,color="black",shape="box"];19 -> 27[label="",style="solid", color="black", weight=3];
20[label="inRange (vy30,vy31) vy4",fontsize=16,color="black",shape="box"];20 -> 28[label="",style="solid", color="black", weight=3];
21 -> 89[label="",style="dashed", color="red", weight=0];
21[label="vy30 <= vy4 && vy4 <= vy31",fontsize=16,color="magenta"];21 -> 90[label="",style="dashed", color="magenta", weight=3];
21 -> 91[label="",style="dashed", color="magenta", weight=3];
22[label="inRange ((),vy31) vy4",fontsize=16,color="burlywood",shape="box"];451[label="vy31/()",fontsize=10,color="white",style="solid",shape="box"];22 -> 451[label="",style="solid", color="burlywood", weight=9];
451 -> 30[label="",style="solid", color="burlywood", weight=3];
23 -> 89[label="",style="dashed", color="red", weight=0];
23[label="fromEnum vy30 <= inRangeI vy4 && inRangeI vy4 <= fromEnum vy31",fontsize=16,color="magenta"];23 -> 92[label="",style="dashed", color="magenta", weight=3];
23 -> 93[label="",style="dashed", color="magenta", weight=3];
24[label="inRange ((vy300,vy301,vy302),vy31) vy4\n  Ix a  Ix b  Ix c",fontsize=16,color="burlywood",shape="box"];453[label="vy31/(vy310,vy311,vy312)",fontsize=10,color="white",style="solid",shape="box"];24 -> 453[label="",style="solid", color="burlywood", weight=9];
453 -> 34[label="",style="solid", color="burlywood", weight=3];
25[label="inRange ((vy300,vy301),vy31) vy4\n  Ix a  Ix b",fontsize=16,color="burlywood",shape="box"];454[label="vy31/(vy310,vy311)",fontsize=10,color="white",style="solid",shape="box"];25 -> 454[label="",style="solid", color="burlywood", weight=9];
454 -> 35[label="",style="solid", color="burlywood", weight=3];
26 -> 89[label="",style="dashed", color="red", weight=0];
26[label="vy31 >= vy4 && vy4 >= vy30",fontsize=16,color="magenta"];26 -> 94[label="",style="dashed", color="magenta", weight=3];
26 -> 95[label="",style="dashed", color="magenta", weight=3];
27 -> 89[label="",style="dashed", color="red", weight=0];
27[label="vy30 <= vy4 && vy4 <= vy31",fontsize=16,color="magenta"];27 -> 96[label="",style="dashed", color="magenta", weight=3];
27 -> 97[label="",style="dashed", color="magenta", weight=3];
28 -> 89[label="",style="dashed", color="red", weight=0];
28[label="vy31 >= vy4 && vy4 >= vy30",fontsize=16,color="magenta"];28 -> 98[label="",style="dashed", color="magenta", weight=3];
28 -> 99[label="",style="dashed", color="magenta", weight=3];
90[label="vy4 <= vy31",fontsize=16,color="black",shape="triangle"];90 -> 133[label="",style="solid", color="black", weight=3];
91 -> 90[label="",style="dashed", color="red", weight=0];
91[label="vy30 <= vy4",fontsize=16,color="magenta"];91 -> 134[label="",style="dashed", color="magenta", weight=3];
91 -> 135[label="",style="dashed", color="magenta", weight=3];
89[label="vy13 && vy29",fontsize=16,color="burlywood",shape="triangle"];459[label="vy13/False",fontsize=10,color="white",style="solid",shape="box"];89 -> 459[label="",style="solid", color="burlywood", weight=9];
459 -> 136[label="",style="solid", color="burlywood", weight=3];
460[label="vy13/True",fontsize=10,color="white",style="solid",shape="box"];89 -> 460[label="",style="solid", color="burlywood", weight=9];
460 -> 137[label="",style="solid", color="burlywood", weight=3];
30[label="inRange ((),()) vy4",fontsize=16,color="burlywood",shape="box"];461[label="vy4/()",fontsize=10,color="white",style="solid",shape="box"];30 -> 461[label="",style="solid", color="burlywood", weight=9];
461 -> 40[label="",style="solid", color="burlywood", weight=3];
92 -> 90[label="",style="dashed", color="red", weight=0];
92[label="inRangeI vy4 <= fromEnum vy31",fontsize=16,color="magenta"];92 -> 138[label="",style="dashed", color="magenta", weight=3];
92 -> 139[label="",style="dashed", color="magenta", weight=3];
93 -> 90[label="",style="dashed", color="red", weight=0];
93[label="fromEnum vy30 <= inRangeI vy4",fontsize=16,color="magenta"];93 -> 140[label="",style="dashed", color="magenta", weight=3];
93 -> 141[label="",style="dashed", color="magenta", weight=3];
34[label="inRange ((vy300,vy301,vy302),(vy310,vy311,vy312)) vy4\n  Ix a  Ix b  Ix c",fontsize=16,color="burlywood",shape="box"];464[label="vy4/(vy40,vy41,vy42)",fontsize=10,color="white",style="solid",shape="box"];34 -> 464[label="",style="solid", color="burlywood", weight=9];
464 -> 44[label="",style="solid", color="burlywood", weight=3];
35[label="inRange ((vy300,vy301),(vy310,vy311)) vy4\n  Ix a  Ix b",fontsize=16,color="burlywood",shape="box"];465[label="vy4/(vy40,vy41)",fontsize=10,color="white",style="solid",shape="box"];35 -> 465[label="",style="solid", color="burlywood", weight=9];
465 -> 45[label="",style="solid", color="burlywood", weight=3];
94[label="vy4 >= vy30",fontsize=16,color="black",shape="triangle"];94 -> 142[label="",style="solid", color="black", weight=3];
95 -> 94[label="",style="dashed", color="red", weight=0];
95[label="vy31 >= vy4",fontsize=16,color="magenta"];95 -> 143[label="",style="dashed", color="magenta", weight=3];
95 -> 144[label="",style="dashed", color="magenta", weight=3];
96[label="vy4 <= vy31",fontsize=16,color="black",shape="triangle"];96 -> 145[label="",style="solid", color="black", weight=3];
97 -> 96[label="",style="dashed", color="red", weight=0];
97[label="vy30 <= vy4",fontsize=16,color="magenta"];97 -> 146[label="",style="dashed", color="magenta", weight=3];
97 -> 147[label="",style="dashed", color="magenta", weight=3];
98[label="vy4 >= vy30",fontsize=16,color="black",shape="triangle"];98 -> 148[label="",style="solid", color="black", weight=3];
99 -> 98[label="",style="dashed", color="red", weight=0];
99[label="vy31 >= vy4",fontsize=16,color="magenta"];99 -> 149[label="",style="dashed", color="magenta", weight=3];
99 -> 150[label="",style="dashed", color="magenta", weight=3];
133[label="compare vy4 vy31 /= GT",fontsize=16,color="black",shape="box"];133 -> 177[label="",style="solid", color="black", weight=3];
134[label="vy30",fontsize=16,color="green",shape="box"];135[label="vy4",fontsize=16,color="green",shape="box"];136[label="False && vy29",fontsize=16,color="black",shape="box"];136 -> 178[label="",style="solid", color="black", weight=3];
137[label="True && vy29",fontsize=16,color="black",shape="box"];137 -> 179[label="",style="solid", color="black", weight=3];
40[label="inRange ((),()) ()",fontsize=16,color="black",shape="box"];40 -> 50[label="",style="solid", color="black", weight=3];
138[label="inRangeI vy4",fontsize=16,color="black",shape="triangle"];138 -> 180[label="",style="solid", color="black", weight=3];
139[label="fromEnum vy31",fontsize=16,color="black",shape="triangle"];139 -> 181[label="",style="solid", color="black", weight=3];
140 -> 139[label="",style="dashed", color="red", weight=0];
140[label="fromEnum vy30",fontsize=16,color="magenta"];140 -> 182[label="",style="dashed", color="magenta", weight=3];
141 -> 138[label="",style="dashed", color="red", weight=0];
141[label="inRangeI vy4",fontsize=16,color="magenta"];44[label="inRange ((vy300,vy301,vy302),(vy310,vy311,vy312)) (vy40,vy41,vy42)\n  Ix a  Ix b  Ix c",fontsize=16,color="black",shape="box"];44 -> 53[label="",style="solid", color="black", weight=3];
45[label="inRange ((vy300,vy301),(vy310,vy311)) (vy40,vy41)\n  Ix a  Ix b",fontsize=16,color="black",shape="box"];45 -> 54[label="",style="solid", color="black", weight=3];
142[label="compare vy4 vy30 /= LT",fontsize=16,color="black",shape="box"];142 -> 183[label="",style="solid", color="black", weight=3];
143[label="vy4",fontsize=16,color="green",shape="box"];144[label="vy31",fontsize=16,color="green",shape="box"];145[label="compare vy4 vy31 /= GT",fontsize=16,color="black",shape="box"];145 -> 184[label="",style="solid", color="black", weight=3];
146[label="vy4",fontsize=16,color="green",shape="box"];147[label="vy30",fontsize=16,color="green",shape="box"];148[label="compare vy4 vy30 /= LT",fontsize=16,color="black",shape="box"];148 -> 185[label="",style="solid", color="black", weight=3];
149[label="vy31",fontsize=16,color="green",shape="box"];150[label="vy4",fontsize=16,color="green",shape="box"];177[label="not (compare vy4 vy31 == GT)",fontsize=16,color="black",shape="box"];177 -> 250[label="",style="solid", color="black", weight=3];
178[label="False",fontsize=16,color="green",shape="box"];179[label="vy29",fontsize=16,color="green",shape="box"];50[label="True",fontsize=16,color="green",shape="box"];180 -> 139[label="",style="dashed", color="red", weight=0];
180[label="fromEnum vy4",fontsize=16,color="magenta"];180 -> 251[label="",style="dashed", color="magenta", weight=3];
181[label="primCharToInt vy31",fontsize=16,color="burlywood",shape="box"];472[label="vy31/Char vy310",fontsize=10,color="white",style="solid",shape="box"];181 -> 472[label="",style="solid", color="burlywood", weight=9];
472 -> 252[label="",style="solid", color="burlywood", weight=3];
182[label="vy30",fontsize=16,color="green",shape="box"];53 -> 89[label="",style="dashed", color="red", weight=0];
53[label="inRange (vy302,vy312) vy42 && inRange (vy301,vy311) vy41 && inRange (vy300,vy310) vy40\n  Ix a  Ix b  Ix c",fontsize=16,color="magenta"];53 -> 118[label="",style="dashed", color="magenta", weight=3];
53 -> 119[label="",style="dashed", color="magenta", weight=3];
54 -> 89[label="",style="dashed", color="red", weight=0];
54[label="inRange (vy301,vy311) vy41 && inRange (vy300,vy310) vy40\n  Ix a  Ix b",fontsize=16,color="magenta"];54 -> 120[label="",style="dashed", color="magenta", weight=3];
54 -> 121[label="",style="dashed", color="magenta", weight=3];
183[label="not (compare vy4 vy30 == LT)",fontsize=16,color="black",shape="box"];183 -> 253[label="",style="solid", color="black", weight=3];
184[label="not (compare vy4 vy31 == GT)",fontsize=16,color="burlywood",shape="box"];475[label="vy4/Integer vy40",fontsize=10,color="white",style="solid",shape="box"];184 -> 475[label="",style="solid", color="burlywood", weight=9];
475 -> 254[label="",style="solid", color="burlywood", weight=3];
185[label="not (compare vy4 vy30 == LT)",fontsize=16,color="black",shape="box"];185 -> 255[label="",style="solid", color="black", weight=3];
250[label="not (primCmpInt vy4 vy31 == GT)",fontsize=16,color="burlywood",shape="triangle"];476[label="vy4/Pos vy40",fontsize=10,color="white",style="solid",shape="box"];250 -> 476[label="",style="solid", color="burlywood", weight=9];
476 -> 288[label="",style="solid", color="burlywood", weight=3];
477[label="vy4/Neg vy40",fontsize=10,color="white",style="solid",shape="box"];250 -> 477[label="",style="solid", color="burlywood", weight=9];
477 -> 289[label="",style="solid", color="burlywood", weight=3];
251[label="vy4",fontsize=16,color="green",shape="box"];252[label="primCharToInt (Char vy310)",fontsize=16,color="black",shape="box"];252 -> 290[label="",style="solid", color="black", weight=3];
118 -> 89[label="",style="dashed", color="red", weight=0];
118[label="inRange (vy301,vy311) vy41 && inRange (vy300,vy310) vy40\n  Ix a  Ix b",fontsize=16,color="magenta"];118 -> 151[label="",style="dashed", color="magenta", weight=3];
118 -> 152[label="",style="dashed", color="magenta", weight=3];
119[label="inRange (vy302,vy312) vy42\n  Ix a",fontsize=16,color="blue",shape="box"];479[label="inRange :: ((@2) Int Int) -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];119 -> 479[label="",style="solid", color="blue", weight=9];
479 -> 153[label="",style="solid", color="blue", weight=3];
480[label="inRange :: ((@2) () ()) -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];119 -> 480[label="",style="solid", color="blue", weight=9];
480 -> 154[label="",style="solid", color="blue", weight=3];
481[label="inRange :: ((@2) Char Char) -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];119 -> 481[label="",style="solid", color="blue", weight=9];
481 -> 155[label="",style="solid", color="blue", weight=3];
482[label="inRange :: ((@2) ((@3) a b c) ((@3) a b c)) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];119 -> 482[label="",style="solid", color="blue", weight=9];
482 -> 156[label="",style="solid", color="blue", weight=3];
483[label="inRange :: ((@2) ((@2) a b) ((@2) a b)) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];119 -> 483[label="",style="solid", color="blue", weight=9];
483 -> 157[label="",style="solid", color="blue", weight=3];
484[label="inRange :: ((@2) Ordering Ordering) -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];119 -> 484[label="",style="solid", color="blue", weight=9];
484 -> 158[label="",style="solid", color="blue", weight=3];
485[label="inRange :: ((@2) Integer Integer) -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];119 -> 485[label="",style="solid", color="blue", weight=9];
485 -> 159[label="",style="solid", color="blue", weight=3];
486[label="inRange :: ((@2) Bool Bool) -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];119 -> 486[label="",style="solid", color="blue", weight=9];
486 -> 160[label="",style="solid", color="blue", weight=3];
120[label="inRange (vy300,vy310) vy40\n  Ix a",fontsize=16,color="blue",shape="box"];487[label="inRange :: ((@2) Int Int) -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];120 -> 487[label="",style="solid", color="blue", weight=9];
487 -> 161[label="",style="solid", color="blue", weight=3];
488[label="inRange :: ((@2) () ()) -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];120 -> 488[label="",style="solid", color="blue", weight=9];
488 -> 162[label="",style="solid", color="blue", weight=3];
489[label="inRange :: ((@2) Char Char) -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];120 -> 489[label="",style="solid", color="blue", weight=9];
489 -> 163[label="",style="solid", color="blue", weight=3];
490[label="inRange :: ((@2) ((@3) a b c) ((@3) a b c)) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];120 -> 490[label="",style="solid", color="blue", weight=9];
490 -> 164[label="",style="solid", color="blue", weight=3];
491[label="inRange :: ((@2) ((@2) a b) ((@2) a b)) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];120 -> 491[label="",style="solid", color="blue", weight=9];
491 -> 165[label="",style="solid", color="blue", weight=3];
492[label="inRange :: ((@2) Ordering Ordering) -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];120 -> 492[label="",style="solid", color="blue", weight=9];
492 -> 166[label="",style="solid", color="blue", weight=3];
493[label="inRange :: ((@2) Integer Integer) -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];120 -> 493[label="",style="solid", color="blue", weight=9];
493 -> 167[label="",style="solid", color="blue", weight=3];
494[label="inRange :: ((@2) Bool Bool) -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];120 -> 494[label="",style="solid", color="blue", weight=9];
494 -> 168[label="",style="solid", color="blue", weight=3];
121[label="inRange (vy301,vy311) vy41\n  Ix a",fontsize=16,color="blue",shape="box"];495[label="inRange :: ((@2) Int Int) -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];121 -> 495[label="",style="solid", color="blue", weight=9];
495 -> 169[label="",style="solid", color="blue", weight=3];
496[label="inRange :: ((@2) () ()) -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];121 -> 496[label="",style="solid", color="blue", weight=9];
496 -> 170[label="",style="solid", color="blue", weight=3];
497[label="inRange :: ((@2) Char Char) -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];121 -> 497[label="",style="solid", color="blue", weight=9];
497 -> 171[label="",style="solid", color="blue", weight=3];
498[label="inRange :: ((@2) ((@3) a b c) ((@3) a b c)) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];121 -> 498[label="",style="solid", color="blue", weight=9];
498 -> 172[label="",style="solid", color="blue", weight=3];
499[label="inRange :: ((@2) ((@2) a b) ((@2) a b)) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];121 -> 499[label="",style="solid", color="blue", weight=9];
499 -> 173[label="",style="solid", color="blue", weight=3];
500[label="inRange :: ((@2) Ordering Ordering) -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];121 -> 500[label="",style="solid", color="blue", weight=9];
500 -> 174[label="",style="solid", color="blue", weight=3];
501[label="inRange :: ((@2) Integer Integer) -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];121 -> 501[label="",style="solid", color="blue", weight=9];
501 -> 175[label="",style="solid", color="blue", weight=3];
502[label="inRange :: ((@2) Bool Bool) -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];121 -> 502[label="",style="solid", color="blue", weight=9];
502 -> 176[label="",style="solid", color="blue", weight=3];
253[label="not (compare3 vy4 vy30 == LT)",fontsize=16,color="black",shape="box"];253 -> 291[label="",style="solid", color="black", weight=3];
254[label="not (compare (Integer vy40) vy31 == GT)",fontsize=16,color="burlywood",shape="box"];503[label="vy31/Integer vy310",fontsize=10,color="white",style="solid",shape="box"];254 -> 503[label="",style="solid", color="burlywood", weight=9];
503 -> 292[label="",style="solid", color="burlywood", weight=3];
255[label="not (compare3 vy4 vy30 == LT)",fontsize=16,color="black",shape="box"];255 -> 293[label="",style="solid", color="black", weight=3];
288[label="not (primCmpInt (Pos vy40) vy31 == GT)",fontsize=16,color="burlywood",shape="box"];504[label="vy40/Succ vy400",fontsize=10,color="white",style="solid",shape="box"];288 -> 504[label="",style="solid", color="burlywood", weight=9];
504 -> 294[label="",style="solid", color="burlywood", weight=3];
505[label="vy40/Zero",fontsize=10,color="white",style="solid",shape="box"];288 -> 505[label="",style="solid", color="burlywood", weight=9];
505 -> 295[label="",style="solid", color="burlywood", weight=3];
289[label="not (primCmpInt (Neg vy40) vy31 == GT)",fontsize=16,color="burlywood",shape="box"];506[label="vy40/Succ vy400",fontsize=10,color="white",style="solid",shape="box"];289 -> 506[label="",style="solid", color="burlywood", weight=9];
506 -> 296[label="",style="solid", color="burlywood", weight=3];
507[label="vy40/Zero",fontsize=10,color="white",style="solid",shape="box"];289 -> 507[label="",style="solid", color="burlywood", weight=9];
507 -> 297[label="",style="solid", color="burlywood", weight=3];
290[label="Pos vy310",fontsize=16,color="green",shape="box"];151[label="inRange (vy300,vy310) vy40\n  Ix a",fontsize=16,color="blue",shape="box"];508[label="inRange :: ((@2) Int Int) -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];151 -> 508[label="",style="solid", color="blue", weight=9];
508 -> 186[label="",style="solid", color="blue", weight=3];
509[label="inRange :: ((@2) () ()) -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];151 -> 509[label="",style="solid", color="blue", weight=9];
509 -> 187[label="",style="solid", color="blue", weight=3];
510[label="inRange :: ((@2) Char Char) -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];151 -> 510[label="",style="solid", color="blue", weight=9];
510 -> 188[label="",style="solid", color="blue", weight=3];
511[label="inRange :: ((@2) ((@3) a b c) ((@3) a b c)) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];151 -> 511[label="",style="solid", color="blue", weight=9];
511 -> 189[label="",style="solid", color="blue", weight=3];
512[label="inRange :: ((@2) ((@2) a b) ((@2) a b)) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];151 -> 512[label="",style="solid", color="blue", weight=9];
512 -> 190[label="",style="solid", color="blue", weight=3];
513[label="inRange :: ((@2) Ordering Ordering) -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];151 -> 513[label="",style="solid", color="blue", weight=9];
513 -> 191[label="",style="solid", color="blue", weight=3];
514[label="inRange :: ((@2) Integer Integer) -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];151 -> 514[label="",style="solid", color="blue", weight=9];
514 -> 192[label="",style="solid", color="blue", weight=3];
515[label="inRange :: ((@2) Bool Bool) -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];151 -> 515[label="",style="solid", color="blue", weight=9];
515 -> 193[label="",style="solid", color="blue", weight=3];
152[label="inRange (vy301,vy311) vy41\n  Ix a",fontsize=16,color="blue",shape="box"];516[label="inRange :: ((@2) Int Int) -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];152 -> 516[label="",style="solid", color="blue", weight=9];
516 -> 194[label="",style="solid", color="blue", weight=3];
517[label="inRange :: ((@2) () ()) -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];152 -> 517[label="",style="solid", color="blue", weight=9];
517 -> 195[label="",style="solid", color="blue", weight=3];
518[label="inRange :: ((@2) Char Char) -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];152 -> 518[label="",style="solid", color="blue", weight=9];
518 -> 196[label="",style="solid", color="blue", weight=3];
519[label="inRange :: ((@2) ((@3) a b c) ((@3) a b c)) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];152 -> 519[label="",style="solid", color="blue", weight=9];
519 -> 197[label="",style="solid", color="blue", weight=3];
520[label="inRange :: ((@2) ((@2) a b) ((@2) a b)) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];152 -> 520[label="",style="solid", color="blue", weight=9];
520 -> 198[label="",style="solid", color="blue", weight=3];
521[label="inRange :: ((@2) Ordering Ordering) -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];152 -> 521[label="",style="solid", color="blue", weight=9];
521 -> 199[label="",style="solid", color="blue", weight=3];
522[label="inRange :: ((@2) Integer Integer) -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];152 -> 522[label="",style="solid", color="blue", weight=9];
522 -> 200[label="",style="solid", color="blue", weight=3];
523[label="inRange :: ((@2) Bool Bool) -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];152 -> 523[label="",style="solid", color="blue", weight=9];
523 -> 201[label="",style="solid", color="blue", weight=3];
153 -> 5[label="",style="dashed", color="red", weight=0];
153[label="inRange (vy302,vy312) vy42",fontsize=16,color="magenta"];153 -> 202[label="",style="dashed", color="magenta", weight=3];
153 -> 203[label="",style="dashed", color="magenta", weight=3];
154 -> 6[label="",style="dashed", color="red", weight=0];
154[label="inRange (vy302,vy312) vy42",fontsize=16,color="magenta"];154 -> 204[label="",style="dashed", color="magenta", weight=3];
154 -> 205[label="",style="dashed", color="magenta", weight=3];
155 -> 7[label="",style="dashed", color="red", weight=0];
155[label="inRange (vy302,vy312) vy42",fontsize=16,color="magenta"];155 -> 206[label="",style="dashed", color="magenta", weight=3];
155 -> 207[label="",style="dashed", color="magenta", weight=3];
156 -> 8[label="",style="dashed", color="red", weight=0];
156[label="inRange (vy302,vy312) vy42\n  Ix a  Ix b  Ix c",fontsize=16,color="magenta"];156 -> 208[label="",style="dashed", color="magenta", weight=3];
156 -> 209[label="",style="dashed", color="magenta", weight=3];
157 -> 9[label="",style="dashed", color="red", weight=0];
157[label="inRange (vy302,vy312) vy42\n  Ix a  Ix b",fontsize=16,color="magenta"];157 -> 210[label="",style="dashed", color="magenta", weight=3];
157 -> 211[label="",style="dashed", color="magenta", weight=3];
158 -> 10[label="",style="dashed", color="red", weight=0];
158[label="inRange (vy302,vy312) vy42",fontsize=16,color="magenta"];158 -> 212[label="",style="dashed", color="magenta", weight=3];
158 -> 213[label="",style="dashed", color="magenta", weight=3];
159 -> 11[label="",style="dashed", color="red", weight=0];
159[label="inRange (vy302,vy312) vy42",fontsize=16,color="magenta"];159 -> 214[label="",style="dashed", color="magenta", weight=3];
159 -> 215[label="",style="dashed", color="magenta", weight=3];
160 -> 12[label="",style="dashed", color="red", weight=0];
160[label="inRange (vy302,vy312) vy42",fontsize=16,color="magenta"];160 -> 216[label="",style="dashed", color="magenta", weight=3];
160 -> 217[label="",style="dashed", color="magenta", weight=3];
161 -> 5[label="",style="dashed", color="red", weight=0];
161[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];161 -> 218[label="",style="dashed", color="magenta", weight=3];
161 -> 219[label="",style="dashed", color="magenta", weight=3];
162 -> 6[label="",style="dashed", color="red", weight=0];
162[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];162 -> 220[label="",style="dashed", color="magenta", weight=3];
162 -> 221[label="",style="dashed", color="magenta", weight=3];
163 -> 7[label="",style="dashed", color="red", weight=0];
163[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];163 -> 222[label="",style="dashed", color="magenta", weight=3];
163 -> 223[label="",style="dashed", color="magenta", weight=3];
164 -> 8[label="",style="dashed", color="red", weight=0];
164[label="inRange (vy300,vy310) vy40\n  Ix a  Ix b  Ix c",fontsize=16,color="magenta"];164 -> 224[label="",style="dashed", color="magenta", weight=3];
164 -> 225[label="",style="dashed", color="magenta", weight=3];
165 -> 9[label="",style="dashed", color="red", weight=0];
165[label="inRange (vy300,vy310) vy40\n  Ix a  Ix b",fontsize=16,color="magenta"];165 -> 226[label="",style="dashed", color="magenta", weight=3];
165 -> 227[label="",style="dashed", color="magenta", weight=3];
166 -> 10[label="",style="dashed", color="red", weight=0];
166[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];166 -> 228[label="",style="dashed", color="magenta", weight=3];
166 -> 229[label="",style="dashed", color="magenta", weight=3];
167 -> 11[label="",style="dashed", color="red", weight=0];
167[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];167 -> 230[label="",style="dashed", color="magenta", weight=3];
167 -> 231[label="",style="dashed", color="magenta", weight=3];
168 -> 12[label="",style="dashed", color="red", weight=0];
168[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];168 -> 232[label="",style="dashed", color="magenta", weight=3];
168 -> 233[label="",style="dashed", color="magenta", weight=3];
169 -> 5[label="",style="dashed", color="red", weight=0];
169[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];169 -> 234[label="",style="dashed", color="magenta", weight=3];
169 -> 235[label="",style="dashed", color="magenta", weight=3];
170 -> 6[label="",style="dashed", color="red", weight=0];
170[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];170 -> 236[label="",style="dashed", color="magenta", weight=3];
170 -> 237[label="",style="dashed", color="magenta", weight=3];
171 -> 7[label="",style="dashed", color="red", weight=0];
171[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];171 -> 238[label="",style="dashed", color="magenta", weight=3];
171 -> 239[label="",style="dashed", color="magenta", weight=3];
172 -> 8[label="",style="dashed", color="red", weight=0];
172[label="inRange (vy301,vy311) vy41\n  Ix a  Ix b  Ix c",fontsize=16,color="magenta"];172 -> 240[label="",style="dashed", color="magenta", weight=3];
172 -> 241[label="",style="dashed", color="magenta", weight=3];
173 -> 9[label="",style="dashed", color="red", weight=0];
173[label="inRange (vy301,vy311) vy41\n  Ix a  Ix b",fontsize=16,color="magenta"];173 -> 242[label="",style="dashed", color="magenta", weight=3];
173 -> 243[label="",style="dashed", color="magenta", weight=3];
174 -> 10[label="",style="dashed", color="red", weight=0];
174[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];174 -> 244[label="",style="dashed", color="magenta", weight=3];
174 -> 245[label="",style="dashed", color="magenta", weight=3];
175 -> 11[label="",style="dashed", color="red", weight=0];
175[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];175 -> 246[label="",style="dashed", color="magenta", weight=3];
175 -> 247[label="",style="dashed", color="magenta", weight=3];
176 -> 12[label="",style="dashed", color="red", weight=0];
176[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];176 -> 248[label="",style="dashed", color="magenta", weight=3];
176 -> 249[label="",style="dashed", color="magenta", weight=3];
291[label="not (compare2 vy4 vy30 (vy4 == vy30) == LT)",fontsize=16,color="burlywood",shape="box"];548[label="vy4/LT",fontsize=10,color="white",style="solid",shape="box"];291 -> 548[label="",style="solid", color="burlywood", weight=9];
548 -> 298[label="",style="solid", color="burlywood", weight=3];
549[label="vy4/EQ",fontsize=10,color="white",style="solid",shape="box"];291 -> 549[label="",style="solid", color="burlywood", weight=9];
549 -> 299[label="",style="solid", color="burlywood", weight=3];
550[label="vy4/GT",fontsize=10,color="white",style="solid",shape="box"];291 -> 550[label="",style="solid", color="burlywood", weight=9];
550 -> 300[label="",style="solid", color="burlywood", weight=3];
292[label="not (compare (Integer vy40) (Integer vy310) == GT)",fontsize=16,color="black",shape="box"];292 -> 301[label="",style="solid", color="black", weight=3];
293[label="not (compare2 vy4 vy30 (vy4 == vy30) == LT)",fontsize=16,color="burlywood",shape="box"];551[label="vy4/False",fontsize=10,color="white",style="solid",shape="box"];293 -> 551[label="",style="solid", color="burlywood", weight=9];
551 -> 302[label="",style="solid", color="burlywood", weight=3];
552[label="vy4/True",fontsize=10,color="white",style="solid",shape="box"];293 -> 552[label="",style="solid", color="burlywood", weight=9];
552 -> 303[label="",style="solid", color="burlywood", weight=3];
294[label="not (primCmpInt (Pos (Succ vy400)) vy31 == GT)",fontsize=16,color="burlywood",shape="box"];553[label="vy31/Pos vy310",fontsize=10,color="white",style="solid",shape="box"];294 -> 553[label="",style="solid", color="burlywood", weight=9];
553 -> 304[label="",style="solid", color="burlywood", weight=3];
554[label="vy31/Neg vy310",fontsize=10,color="white",style="solid",shape="box"];294 -> 554[label="",style="solid", color="burlywood", weight=9];
554 -> 305[label="",style="solid", color="burlywood", weight=3];
295[label="not (primCmpInt (Pos Zero) vy31 == GT)",fontsize=16,color="burlywood",shape="box"];555[label="vy31/Pos vy310",fontsize=10,color="white",style="solid",shape="box"];295 -> 555[label="",style="solid", color="burlywood", weight=9];
555 -> 306[label="",style="solid", color="burlywood", weight=3];
556[label="vy31/Neg vy310",fontsize=10,color="white",style="solid",shape="box"];295 -> 556[label="",style="solid", color="burlywood", weight=9];
556 -> 307[label="",style="solid", color="burlywood", weight=3];
296[label="not (primCmpInt (Neg (Succ vy400)) vy31 == GT)",fontsize=16,color="burlywood",shape="box"];557[label="vy31/Pos vy310",fontsize=10,color="white",style="solid",shape="box"];296 -> 557[label="",style="solid", color="burlywood", weight=9];
557 -> 308[label="",style="solid", color="burlywood", weight=3];
558[label="vy31/Neg vy310",fontsize=10,color="white",style="solid",shape="box"];296 -> 558[label="",style="solid", color="burlywood", weight=9];
558 -> 309[label="",style="solid", color="burlywood", weight=3];
297[label="not (primCmpInt (Neg Zero) vy31 == GT)",fontsize=16,color="burlywood",shape="box"];559[label="vy31/Pos vy310",fontsize=10,color="white",style="solid",shape="box"];297 -> 559[label="",style="solid", color="burlywood", weight=9];
559 -> 310[label="",style="solid", color="burlywood", weight=3];
560[label="vy31/Neg vy310",fontsize=10,color="white",style="solid",shape="box"];297 -> 560[label="",style="solid", color="burlywood", weight=9];
560 -> 311[label="",style="solid", color="burlywood", weight=3];
186 -> 5[label="",style="dashed", color="red", weight=0];
186[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];186 -> 256[label="",style="dashed", color="magenta", weight=3];
186 -> 257[label="",style="dashed", color="magenta", weight=3];
187 -> 6[label="",style="dashed", color="red", weight=0];
187[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];187 -> 258[label="",style="dashed", color="magenta", weight=3];
187 -> 259[label="",style="dashed", color="magenta", weight=3];
188 -> 7[label="",style="dashed", color="red", weight=0];
188[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];188 -> 260[label="",style="dashed", color="magenta", weight=3];
188 -> 261[label="",style="dashed", color="magenta", weight=3];
189 -> 8[label="",style="dashed", color="red", weight=0];
189[label="inRange (vy300,vy310) vy40\n  Ix a  Ix b  Ix c",fontsize=16,color="magenta"];189 -> 262[label="",style="dashed", color="magenta", weight=3];
189 -> 263[label="",style="dashed", color="magenta", weight=3];
190 -> 9[label="",style="dashed", color="red", weight=0];
190[label="inRange (vy300,vy310) vy40\n  Ix a  Ix b",fontsize=16,color="magenta"];190 -> 264[label="",style="dashed", color="magenta", weight=3];
190 -> 265[label="",style="dashed", color="magenta", weight=3];
191 -> 10[label="",style="dashed", color="red", weight=0];
191[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];191 -> 266[label="",style="dashed", color="magenta", weight=3];
191 -> 267[label="",style="dashed", color="magenta", weight=3];
192 -> 11[label="",style="dashed", color="red", weight=0];
192[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];192 -> 268[label="",style="dashed", color="magenta", weight=3];
192 -> 269[label="",style="dashed", color="magenta", weight=3];
193 -> 12[label="",style="dashed", color="red", weight=0];
193[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];193 -> 270[label="",style="dashed", color="magenta", weight=3];
193 -> 271[label="",style="dashed", color="magenta", weight=3];
194 -> 5[label="",style="dashed", color="red", weight=0];
194[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];194 -> 272[label="",style="dashed", color="magenta", weight=3];
194 -> 273[label="",style="dashed", color="magenta", weight=3];
195 -> 6[label="",style="dashed", color="red", weight=0];
195[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];195 -> 274[label="",style="dashed", color="magenta", weight=3];
195 -> 275[label="",style="dashed", color="magenta", weight=3];
196 -> 7[label="",style="dashed", color="red", weight=0];
196[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];196 -> 276[label="",style="dashed", color="magenta", weight=3];
196 -> 277[label="",style="dashed", color="magenta", weight=3];
197 -> 8[label="",style="dashed", color="red", weight=0];
197[label="inRange (vy301,vy311) vy41\n  Ix a  Ix b  Ix c",fontsize=16,color="magenta"];197 -> 278[label="",style="dashed", color="magenta", weight=3];
197 -> 279[label="",style="dashed", color="magenta", weight=3];
198 -> 9[label="",style="dashed", color="red", weight=0];
198[label="inRange (vy301,vy311) vy41\n  Ix a  Ix b",fontsize=16,color="magenta"];198 -> 280[label="",style="dashed", color="magenta", weight=3];
198 -> 281[label="",style="dashed", color="magenta", weight=3];
199 -> 10[label="",style="dashed", color="red", weight=0];
199[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];199 -> 282[label="",style="dashed", color="magenta", weight=3];
199 -> 283[label="",style="dashed", color="magenta", weight=3];
200 -> 11[label="",style="dashed", color="red", weight=0];
200[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];200 -> 284[label="",style="dashed", color="magenta", weight=3];
200 -> 285[label="",style="dashed", color="magenta", weight=3];
201 -> 12[label="",style="dashed", color="red", weight=0];
201[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];201 -> 286[label="",style="dashed", color="magenta", weight=3];
201 -> 287[label="",style="dashed", color="magenta", weight=3];
202[label="vy42",fontsize=16,color="green",shape="box"];203[label="(vy302,vy312)",fontsize=16,color="green",shape="box"];204[label="vy42",fontsize=16,color="green",shape="box"];205[label="(vy302,vy312)",fontsize=16,color="green",shape="box"];206[label="vy42",fontsize=16,color="green",shape="box"];207[label="(vy302,vy312)",fontsize=16,color="green",shape="box"];208[label="vy42\n  Ix a  Ix b  Ix c",fontsize=16,color="green",shape="box"];209[label="(vy302,vy312)\n  Ix a  Ix b  Ix c",fontsize=16,color="green",shape="box"];210[label="vy42\n  Ix a  Ix b",fontsize=16,color="green",shape="box"];211[label="(vy302,vy312)\n  Ix a  Ix b",fontsize=16,color="green",shape="box"];212[label="vy42",fontsize=16,color="green",shape="box"];213[label="(vy302,vy312)",fontsize=16,color="green",shape="box"];214[label="vy42",fontsize=16,color="green",shape="box"];215[label="(vy302,vy312)",fontsize=16,color="green",shape="box"];216[label="vy42",fontsize=16,color="green",shape="box"];217[label="(vy302,vy312)",fontsize=16,color="green",shape="box"];218[label="vy40",fontsize=16,color="green",shape="box"];219[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];220[label="vy40",fontsize=16,color="green",shape="box"];221[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];222[label="vy40",fontsize=16,color="green",shape="box"];223[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];224[label="vy40\n  Ix a  Ix b  Ix c",fontsize=16,color="green",shape="box"];225[label="(vy300,vy310)\n  Ix a  Ix b  Ix c",fontsize=16,color="green",shape="box"];226[label="vy40\n  Ix a  Ix b",fontsize=16,color="green",shape="box"];227[label="(vy300,vy310)\n  Ix a  Ix b",fontsize=16,color="green",shape="box"];228[label="vy40",fontsize=16,color="green",shape="box"];229[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];230[label="vy40",fontsize=16,color="green",shape="box"];231[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];232[label="vy40",fontsize=16,color="green",shape="box"];233[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];234[label="vy41",fontsize=16,color="green",shape="box"];235[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];236[label="vy41",fontsize=16,color="green",shape="box"];237[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];238[label="vy41",fontsize=16,color="green",shape="box"];239[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];240[label="vy41\n  Ix a  Ix b  Ix c",fontsize=16,color="green",shape="box"];241[label="(vy301,vy311)\n  Ix a  Ix b  Ix c",fontsize=16,color="green",shape="box"];242[label="vy41\n  Ix a  Ix b",fontsize=16,color="green",shape="box"];243[label="(vy301,vy311)\n  Ix a  Ix b",fontsize=16,color="green",shape="box"];244[label="vy41",fontsize=16,color="green",shape="box"];245[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];246[label="vy41",fontsize=16,color="green",shape="box"];247[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];248[label="vy41",fontsize=16,color="green",shape="box"];249[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];298[label="not (compare2 LT vy30 (LT == vy30) == LT)",fontsize=16,color="burlywood",shape="box"];577[label="vy30/LT",fontsize=10,color="white",style="solid",shape="box"];298 -> 577[label="",style="solid", color="burlywood", weight=9];
577 -> 312[label="",style="solid", color="burlywood", weight=3];
578[label="vy30/EQ",fontsize=10,color="white",style="solid",shape="box"];298 -> 578[label="",style="solid", color="burlywood", weight=9];
578 -> 313[label="",style="solid", color="burlywood", weight=3];
579[label="vy30/GT",fontsize=10,color="white",style="solid",shape="box"];298 -> 579[label="",style="solid", color="burlywood", weight=9];
579 -> 314[label="",style="solid", color="burlywood", weight=3];
299[label="not (compare2 EQ vy30 (EQ == vy30) == LT)",fontsize=16,color="burlywood",shape="box"];580[label="vy30/LT",fontsize=10,color="white",style="solid",shape="box"];299 -> 580[label="",style="solid", color="burlywood", weight=9];
580 -> 315[label="",style="solid", color="burlywood", weight=3];
581[label="vy30/EQ",fontsize=10,color="white",style="solid",shape="box"];299 -> 581[label="",style="solid", color="burlywood", weight=9];
581 -> 316[label="",style="solid", color="burlywood", weight=3];
582[label="vy30/GT",fontsize=10,color="white",style="solid",shape="box"];299 -> 582[label="",style="solid", color="burlywood", weight=9];
582 -> 317[label="",style="solid", color="burlywood", weight=3];
300[label="not (compare2 GT vy30 (GT == vy30) == LT)",fontsize=16,color="burlywood",shape="box"];583[label="vy30/LT",fontsize=10,color="white",style="solid",shape="box"];300 -> 583[label="",style="solid", color="burlywood", weight=9];
583 -> 318[label="",style="solid", color="burlywood", weight=3];
584[label="vy30/EQ",fontsize=10,color="white",style="solid",shape="box"];300 -> 584[label="",style="solid", color="burlywood", weight=9];
584 -> 319[label="",style="solid", color="burlywood", weight=3];
585[label="vy30/GT",fontsize=10,color="white",style="solid",shape="box"];300 -> 585[label="",style="solid", color="burlywood", weight=9];
585 -> 320[label="",style="solid", color="burlywood", weight=3];
301 -> 250[label="",style="dashed", color="red", weight=0];
301[label="not (primCmpInt vy40 vy310 == GT)",fontsize=16,color="magenta"];301 -> 321[label="",style="dashed", color="magenta", weight=3];
301 -> 322[label="",style="dashed", color="magenta", weight=3];
302[label="not (compare2 False vy30 (False == vy30) == LT)",fontsize=16,color="burlywood",shape="box"];587[label="vy30/False",fontsize=10,color="white",style="solid",shape="box"];302 -> 587[label="",style="solid", color="burlywood", weight=9];
587 -> 323[label="",style="solid", color="burlywood", weight=3];
588[label="vy30/True",fontsize=10,color="white",style="solid",shape="box"];302 -> 588[label="",style="solid", color="burlywood", weight=9];
588 -> 324[label="",style="solid", color="burlywood", weight=3];
303[label="not (compare2 True vy30 (True == vy30) == LT)",fontsize=16,color="burlywood",shape="box"];589[label="vy30/False",fontsize=10,color="white",style="solid",shape="box"];303 -> 589[label="",style="solid", color="burlywood", weight=9];
589 -> 325[label="",style="solid", color="burlywood", weight=3];
590[label="vy30/True",fontsize=10,color="white",style="solid",shape="box"];303 -> 590[label="",style="solid", color="burlywood", weight=9];
590 -> 326[label="",style="solid", color="burlywood", weight=3];
304[label="not (primCmpInt (Pos (Succ vy400)) (Pos vy310) == GT)",fontsize=16,color="black",shape="box"];304 -> 327[label="",style="solid", color="black", weight=3];
305[label="not (primCmpInt (Pos (Succ vy400)) (Neg vy310) == GT)",fontsize=16,color="black",shape="box"];305 -> 328[label="",style="solid", color="black", weight=3];
306[label="not (primCmpInt (Pos Zero) (Pos vy310) == GT)",fontsize=16,color="burlywood",shape="box"];591[label="vy310/Succ vy3100",fontsize=10,color="white",style="solid",shape="box"];306 -> 591[label="",style="solid", color="burlywood", weight=9];
591 -> 329[label="",style="solid", color="burlywood", weight=3];
592[label="vy310/Zero",fontsize=10,color="white",style="solid",shape="box"];306 -> 592[label="",style="solid", color="burlywood", weight=9];
592 -> 330[label="",style="solid", color="burlywood", weight=3];
307[label="not (primCmpInt (Pos Zero) (Neg vy310) == GT)",fontsize=16,color="burlywood",shape="box"];593[label="vy310/Succ vy3100",fontsize=10,color="white",style="solid",shape="box"];307 -> 593[label="",style="solid", color="burlywood", weight=9];
593 -> 331[label="",style="solid", color="burlywood", weight=3];
594[label="vy310/Zero",fontsize=10,color="white",style="solid",shape="box"];307 -> 594[label="",style="solid", color="burlywood", weight=9];
594 -> 332[label="",style="solid", color="burlywood", weight=3];
308[label="not (primCmpInt (Neg (Succ vy400)) (Pos vy310) == GT)",fontsize=16,color="black",shape="box"];308 -> 333[label="",style="solid", color="black", weight=3];
309[label="not (primCmpInt (Neg (Succ vy400)) (Neg vy310) == GT)",fontsize=16,color="black",shape="box"];309 -> 334[label="",style="solid", color="black", weight=3];
310[label="not (primCmpInt (Neg Zero) (Pos vy310) == GT)",fontsize=16,color="burlywood",shape="box"];595[label="vy310/Succ vy3100",fontsize=10,color="white",style="solid",shape="box"];310 -> 595[label="",style="solid", color="burlywood", weight=9];
595 -> 335[label="",style="solid", color="burlywood", weight=3];
596[label="vy310/Zero",fontsize=10,color="white",style="solid",shape="box"];310 -> 596[label="",style="solid", color="burlywood", weight=9];
596 -> 336[label="",style="solid", color="burlywood", weight=3];
311[label="not (primCmpInt (Neg Zero) (Neg vy310) == GT)",fontsize=16,color="burlywood",shape="box"];597[label="vy310/Succ vy3100",fontsize=10,color="white",style="solid",shape="box"];311 -> 597[label="",style="solid", color="burlywood", weight=9];
597 -> 337[label="",style="solid", color="burlywood", weight=3];
598[label="vy310/Zero",fontsize=10,color="white",style="solid",shape="box"];311 -> 598[label="",style="solid", color="burlywood", weight=9];
598 -> 338[label="",style="solid", color="burlywood", weight=3];
256[label="vy40",fontsize=16,color="green",shape="box"];257[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];258[label="vy40",fontsize=16,color="green",shape="box"];259[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];260[label="vy40",fontsize=16,color="green",shape="box"];261[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];262[label="vy40\n  Ix a  Ix b  Ix c",fontsize=16,color="green",shape="box"];263[label="(vy300,vy310)\n  Ix a  Ix b  Ix c",fontsize=16,color="green",shape="box"];264[label="vy40\n  Ix a  Ix b",fontsize=16,color="green",shape="box"];265[label="(vy300,vy310)\n  Ix a  Ix b",fontsize=16,color="green",shape="box"];266[label="vy40",fontsize=16,color="green",shape="box"];267[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];268[label="vy40",fontsize=16,color="green",shape="box"];269[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];270[label="vy40",fontsize=16,color="green",shape="box"];271[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];272[label="vy41",fontsize=16,color="green",shape="box"];273[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];274[label="vy41",fontsize=16,color="green",shape="box"];275[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];276[label="vy41",fontsize=16,color="green",shape="box"];277[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];278[label="vy41\n  Ix a  Ix b  Ix c",fontsize=16,color="green",shape="box"];279[label="(vy301,vy311)\n  Ix a  Ix b  Ix c",fontsize=16,color="green",shape="box"];280[label="vy41\n  Ix a  Ix b",fontsize=16,color="green",shape="box"];281[label="(vy301,vy311)\n  Ix a  Ix b",fontsize=16,color="green",shape="box"];282[label="vy41",fontsize=16,color="green",shape="box"];283[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];284[label="vy41",fontsize=16,color="green",shape="box"];285[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];286[label="vy41",fontsize=16,color="green",shape="box"];287[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];312[label="not (compare2 LT LT (LT == LT) == LT)",fontsize=16,color="black",shape="box"];312 -> 339[label="",style="solid", color="black", weight=3];
313[label="not (compare2 LT EQ (LT == EQ) == LT)",fontsize=16,color="black",shape="box"];313 -> 340[label="",style="solid", color="black", weight=3];
314[label="not (compare2 LT GT (LT == GT) == LT)",fontsize=16,color="black",shape="box"];314 -> 341[label="",style="solid", color="black", weight=3];
315[label="not (compare2 EQ LT (EQ == LT) == LT)",fontsize=16,color="black",shape="box"];315 -> 342[label="",style="solid", color="black", weight=3];
316[label="not (compare2 EQ EQ (EQ == EQ) == LT)",fontsize=16,color="black",shape="box"];316 -> 343[label="",style="solid", color="black", weight=3];
317[label="not (compare2 EQ GT (EQ == GT) == LT)",fontsize=16,color="black",shape="box"];317 -> 344[label="",style="solid", color="black", weight=3];
318[label="not (compare2 GT LT (GT == LT) == LT)",fontsize=16,color="black",shape="box"];318 -> 345[label="",style="solid", color="black", weight=3];
319[label="not (compare2 GT EQ (GT == EQ) == LT)",fontsize=16,color="black",shape="box"];319 -> 346[label="",style="solid", color="black", weight=3];
320[label="not (compare2 GT GT (GT == GT) == LT)",fontsize=16,color="black",shape="box"];320 -> 347[label="",style="solid", color="black", weight=3];
321[label="vy40",fontsize=16,color="green",shape="box"];322[label="vy310",fontsize=16,color="green",shape="box"];323[label="not (compare2 False False (False == False) == LT)",fontsize=16,color="black",shape="box"];323 -> 348[label="",style="solid", color="black", weight=3];
324[label="not (compare2 False True (False == True) == LT)",fontsize=16,color="black",shape="box"];324 -> 349[label="",style="solid", color="black", weight=3];
325[label="not (compare2 True False (True == False) == LT)",fontsize=16,color="black",shape="box"];325 -> 350[label="",style="solid", color="black", weight=3];
326[label="not (compare2 True True (True == True) == LT)",fontsize=16,color="black",shape="box"];326 -> 351[label="",style="solid", color="black", weight=3];
327[label="not (primCmpNat (Succ vy400) vy310 == GT)",fontsize=16,color="burlywood",shape="triangle"];599[label="vy310/Succ vy3100",fontsize=10,color="white",style="solid",shape="box"];327 -> 599[label="",style="solid", color="burlywood", weight=9];
599 -> 352[label="",style="solid", color="burlywood", weight=3];
600[label="vy310/Zero",fontsize=10,color="white",style="solid",shape="box"];327 -> 600[label="",style="solid", color="burlywood", weight=9];
600 -> 353[label="",style="solid", color="burlywood", weight=3];
328[label="not (GT == GT)",fontsize=16,color="black",shape="triangle"];328 -> 354[label="",style="solid", color="black", weight=3];
329[label="not (primCmpInt (Pos Zero) (Pos (Succ vy3100)) == GT)",fontsize=16,color="black",shape="box"];329 -> 355[label="",style="solid", color="black", weight=3];
330[label="not (primCmpInt (Pos Zero) (Pos Zero) == GT)",fontsize=16,color="black",shape="box"];330 -> 356[label="",style="solid", color="black", weight=3];
331[label="not (primCmpInt (Pos Zero) (Neg (Succ vy3100)) == GT)",fontsize=16,color="black",shape="box"];331 -> 357[label="",style="solid", color="black", weight=3];
332[label="not (primCmpInt (Pos Zero) (Neg Zero) == GT)",fontsize=16,color="black",shape="box"];332 -> 358[label="",style="solid", color="black", weight=3];
333[label="not (LT == GT)",fontsize=16,color="black",shape="triangle"];333 -> 359[label="",style="solid", color="black", weight=3];
334[label="not (primCmpNat vy310 (Succ vy400) == GT)",fontsize=16,color="burlywood",shape="triangle"];601[label="vy310/Succ vy3100",fontsize=10,color="white",style="solid",shape="box"];334 -> 601[label="",style="solid", color="burlywood", weight=9];
601 -> 360[label="",style="solid", color="burlywood", weight=3];
602[label="vy310/Zero",fontsize=10,color="white",style="solid",shape="box"];334 -> 602[label="",style="solid", color="burlywood", weight=9];
602 -> 361[label="",style="solid", color="burlywood", weight=3];
335[label="not (primCmpInt (Neg Zero) (Pos (Succ vy3100)) == GT)",fontsize=16,color="black",shape="box"];335 -> 362[label="",style="solid", color="black", weight=3];
336[label="not (primCmpInt (Neg Zero) (Pos Zero) == GT)",fontsize=16,color="black",shape="box"];336 -> 363[label="",style="solid", color="black", weight=3];
337[label="not (primCmpInt (Neg Zero) (Neg (Succ vy3100)) == GT)",fontsize=16,color="black",shape="box"];337 -> 364[label="",style="solid", color="black", weight=3];
338[label="not (primCmpInt (Neg Zero) (Neg Zero) == GT)",fontsize=16,color="black",shape="box"];338 -> 365[label="",style="solid", color="black", weight=3];
339[label="not (compare2 LT LT True == LT)",fontsize=16,color="black",shape="box"];339 -> 366[label="",style="solid", color="black", weight=3];
340[label="not (compare2 LT EQ False == LT)",fontsize=16,color="black",shape="box"];340 -> 367[label="",style="solid", color="black", weight=3];
341[label="not (compare2 LT GT False == LT)",fontsize=16,color="black",shape="box"];341 -> 368[label="",style="solid", color="black", weight=3];
342[label="not (compare2 EQ LT False == LT)",fontsize=16,color="black",shape="box"];342 -> 369[label="",style="solid", color="black", weight=3];
343[label="not (compare2 EQ EQ True == LT)",fontsize=16,color="black",shape="box"];343 -> 370[label="",style="solid", color="black", weight=3];
344[label="not (compare2 EQ GT False == LT)",fontsize=16,color="black",shape="box"];344 -> 371[label="",style="solid", color="black", weight=3];
345[label="not (compare2 GT LT False == LT)",fontsize=16,color="black",shape="box"];345 -> 372[label="",style="solid", color="black", weight=3];
346[label="not (compare2 GT EQ False == LT)",fontsize=16,color="black",shape="box"];346 -> 373[label="",style="solid", color="black", weight=3];
347[label="not (compare2 GT GT True == LT)",fontsize=16,color="black",shape="box"];347 -> 374[label="",style="solid", color="black", weight=3];
348[label="not (compare2 False False True == LT)",fontsize=16,color="black",shape="box"];348 -> 375[label="",style="solid", color="black", weight=3];
349[label="not (compare2 False True False == LT)",fontsize=16,color="black",shape="box"];349 -> 376[label="",style="solid", color="black", weight=3];
350[label="not (compare2 True False False == LT)",fontsize=16,color="black",shape="box"];350 -> 377[label="",style="solid", color="black", weight=3];
351[label="not (compare2 True True True == LT)",fontsize=16,color="black",shape="box"];351 -> 378[label="",style="solid", color="black", weight=3];
352[label="not (primCmpNat (Succ vy400) (Succ vy3100) == GT)",fontsize=16,color="black",shape="box"];352 -> 379[label="",style="solid", color="black", weight=3];
353[label="not (primCmpNat (Succ vy400) Zero == GT)",fontsize=16,color="black",shape="box"];353 -> 380[label="",style="solid", color="black", weight=3];
354[label="not True",fontsize=16,color="black",shape="triangle"];354 -> 381[label="",style="solid", color="black", weight=3];
355 -> 334[label="",style="dashed", color="red", weight=0];
355[label="not (primCmpNat Zero (Succ vy3100) == GT)",fontsize=16,color="magenta"];355 -> 382[label="",style="dashed", color="magenta", weight=3];
355 -> 383[label="",style="dashed", color="magenta", weight=3];
356[label="not (EQ == GT)",fontsize=16,color="black",shape="triangle"];356 -> 384[label="",style="solid", color="black", weight=3];
357 -> 328[label="",style="dashed", color="red", weight=0];
357[label="not (GT == GT)",fontsize=16,color="magenta"];358 -> 356[label="",style="dashed", color="red", weight=0];
358[label="not (EQ == GT)",fontsize=16,color="magenta"];359[label="not False",fontsize=16,color="black",shape="triangle"];359 -> 385[label="",style="solid", color="black", weight=3];
360[label="not (primCmpNat (Succ vy3100) (Succ vy400) == GT)",fontsize=16,color="black",shape="box"];360 -> 386[label="",style="solid", color="black", weight=3];
361[label="not (primCmpNat Zero (Succ vy400) == GT)",fontsize=16,color="black",shape="box"];361 -> 387[label="",style="solid", color="black", weight=3];
362 -> 333[label="",style="dashed", color="red", weight=0];
362[label="not (LT == GT)",fontsize=16,color="magenta"];363 -> 356[label="",style="dashed", color="red", weight=0];
363[label="not (EQ == GT)",fontsize=16,color="magenta"];364 -> 327[label="",style="dashed", color="red", weight=0];
364[label="not (primCmpNat (Succ vy3100) Zero == GT)",fontsize=16,color="magenta"];364 -> 388[label="",style="dashed", color="magenta", weight=3];
364 -> 389[label="",style="dashed", color="magenta", weight=3];
365 -> 356[label="",style="dashed", color="red", weight=0];
365[label="not (EQ == GT)",fontsize=16,color="magenta"];366[label="not (EQ == LT)",fontsize=16,color="black",shape="triangle"];366 -> 390[label="",style="solid", color="black", weight=3];
367[label="not (compare1 LT EQ (LT <= EQ) == LT)",fontsize=16,color="black",shape="box"];367 -> 391[label="",style="solid", color="black", weight=3];
368[label="not (compare1 LT GT (LT <= GT) == LT)",fontsize=16,color="black",shape="box"];368 -> 392[label="",style="solid", color="black", weight=3];
369[label="not (compare1 EQ LT (EQ <= LT) == LT)",fontsize=16,color="black",shape="box"];369 -> 393[label="",style="solid", color="black", weight=3];
370 -> 366[label="",style="dashed", color="red", weight=0];
370[label="not (EQ == LT)",fontsize=16,color="magenta"];371[label="not (compare1 EQ GT (EQ <= GT) == LT)",fontsize=16,color="black",shape="box"];371 -> 394[label="",style="solid", color="black", weight=3];
372[label="not (compare1 GT LT (GT <= LT) == LT)",fontsize=16,color="black",shape="box"];372 -> 395[label="",style="solid", color="black", weight=3];
373[label="not (compare1 GT EQ (GT <= EQ) == LT)",fontsize=16,color="black",shape="box"];373 -> 396[label="",style="solid", color="black", weight=3];
374 -> 366[label="",style="dashed", color="red", weight=0];
374[label="not (EQ == LT)",fontsize=16,color="magenta"];375 -> 366[label="",style="dashed", color="red", weight=0];
375[label="not (EQ == LT)",fontsize=16,color="magenta"];376[label="not (compare1 False True (False <= True) == LT)",fontsize=16,color="black",shape="box"];376 -> 397[label="",style="solid", color="black", weight=3];
377[label="not (compare1 True False (True <= False) == LT)",fontsize=16,color="black",shape="box"];377 -> 398[label="",style="solid", color="black", weight=3];
378 -> 366[label="",style="dashed", color="red", weight=0];
378[label="not (EQ == LT)",fontsize=16,color="magenta"];379[label="not (primCmpNat vy400 vy3100 == GT)",fontsize=16,color="burlywood",shape="triangle"];614[label="vy400/Succ vy4000",fontsize=10,color="white",style="solid",shape="box"];379 -> 614[label="",style="solid", color="burlywood", weight=9];
614 -> 399[label="",style="solid", color="burlywood", weight=3];
615[label="vy400/Zero",fontsize=10,color="white",style="solid",shape="box"];379 -> 615[label="",style="solid", color="burlywood", weight=9];
615 -> 400[label="",style="solid", color="burlywood", weight=3];
380 -> 328[label="",style="dashed", color="red", weight=0];
380[label="not (GT == GT)",fontsize=16,color="magenta"];381[label="False",fontsize=16,color="green",shape="box"];382[label="vy3100",fontsize=16,color="green",shape="box"];383[label="Zero",fontsize=16,color="green",shape="box"];384 -> 359[label="",style="dashed", color="red", weight=0];
384[label="not False",fontsize=16,color="magenta"];385[label="True",fontsize=16,color="green",shape="box"];386 -> 379[label="",style="dashed", color="red", weight=0];
386[label="not (primCmpNat vy3100 vy400 == GT)",fontsize=16,color="magenta"];386 -> 401[label="",style="dashed", color="magenta", weight=3];
386 -> 402[label="",style="dashed", color="magenta", weight=3];
387 -> 333[label="",style="dashed", color="red", weight=0];
387[label="not (LT == GT)",fontsize=16,color="magenta"];388[label="Zero",fontsize=16,color="green",shape="box"];389[label="vy3100",fontsize=16,color="green",shape="box"];390 -> 359[label="",style="dashed", color="red", weight=0];
390[label="not False",fontsize=16,color="magenta"];391[label="not (compare1 LT EQ True == LT)",fontsize=16,color="black",shape="box"];391 -> 403[label="",style="solid", color="black", weight=3];
392[label="not (compare1 LT GT True == LT)",fontsize=16,color="black",shape="box"];392 -> 404[label="",style="solid", color="black", weight=3];
393[label="not (compare1 EQ LT False == LT)",fontsize=16,color="black",shape="box"];393 -> 405[label="",style="solid", color="black", weight=3];
394[label="not (compare1 EQ GT True == LT)",fontsize=16,color="black",shape="box"];394 -> 406[label="",style="solid", color="black", weight=3];
395[label="not (compare1 GT LT False == LT)",fontsize=16,color="black",shape="box"];395 -> 407[label="",style="solid", color="black", weight=3];
396[label="not (compare1 GT EQ False == LT)",fontsize=16,color="black",shape="box"];396 -> 408[label="",style="solid", color="black", weight=3];
397[label="not (compare1 False True True == LT)",fontsize=16,color="black",shape="box"];397 -> 409[label="",style="solid", color="black", weight=3];
398[label="not (compare1 True False False == LT)",fontsize=16,color="black",shape="box"];398 -> 410[label="",style="solid", color="black", weight=3];
399[label="not (primCmpNat (Succ vy4000) vy3100 == GT)",fontsize=16,color="burlywood",shape="box"];621[label="vy3100/Succ vy31000",fontsize=10,color="white",style="solid",shape="box"];399 -> 621[label="",style="solid", color="burlywood", weight=9];
621 -> 411[label="",style="solid", color="burlywood", weight=3];
622[label="vy3100/Zero",fontsize=10,color="white",style="solid",shape="box"];399 -> 622[label="",style="solid", color="burlywood", weight=9];
622 -> 412[label="",style="solid", color="burlywood", weight=3];
400[label="not (primCmpNat Zero vy3100 == GT)",fontsize=16,color="burlywood",shape="box"];623[label="vy3100/Succ vy31000",fontsize=10,color="white",style="solid",shape="box"];400 -> 623[label="",style="solid", color="burlywood", weight=9];
623 -> 413[label="",style="solid", color="burlywood", weight=3];
624[label="vy3100/Zero",fontsize=10,color="white",style="solid",shape="box"];400 -> 624[label="",style="solid", color="burlywood", weight=9];
624 -> 414[label="",style="solid", color="burlywood", weight=3];
401[label="vy400",fontsize=16,color="green",shape="box"];402[label="vy3100",fontsize=16,color="green",shape="box"];403[label="not (LT == LT)",fontsize=16,color="black",shape="triangle"];403 -> 415[label="",style="solid", color="black", weight=3];
404 -> 403[label="",style="dashed", color="red", weight=0];
404[label="not (LT == LT)",fontsize=16,color="magenta"];405[label="not (compare0 EQ LT otherwise == LT)",fontsize=16,color="black",shape="box"];405 -> 416[label="",style="solid", color="black", weight=3];
406 -> 403[label="",style="dashed", color="red", weight=0];
406[label="not (LT == LT)",fontsize=16,color="magenta"];407[label="not (compare0 GT LT otherwise == LT)",fontsize=16,color="black",shape="box"];407 -> 417[label="",style="solid", color="black", weight=3];
408[label="not (compare0 GT EQ otherwise == LT)",fontsize=16,color="black",shape="box"];408 -> 418[label="",style="solid", color="black", weight=3];
409 -> 403[label="",style="dashed", color="red", weight=0];
409[label="not (LT == LT)",fontsize=16,color="magenta"];410[label="not (compare0 True False otherwise == LT)",fontsize=16,color="black",shape="box"];410 -> 419[label="",style="solid", color="black", weight=3];
411[label="not (primCmpNat (Succ vy4000) (Succ vy31000) == GT)",fontsize=16,color="black",shape="box"];411 -> 420[label="",style="solid", color="black", weight=3];
412[label="not (primCmpNat (Succ vy4000) Zero == GT)",fontsize=16,color="black",shape="box"];412 -> 421[label="",style="solid", color="black", weight=3];
413[label="not (primCmpNat Zero (Succ vy31000) == GT)",fontsize=16,color="black",shape="box"];413 -> 422[label="",style="solid", color="black", weight=3];
414[label="not (primCmpNat Zero Zero == GT)",fontsize=16,color="black",shape="box"];414 -> 423[label="",style="solid", color="black", weight=3];
415 -> 354[label="",style="dashed", color="red", weight=0];
415[label="not True",fontsize=16,color="magenta"];416[label="not (compare0 EQ LT True == LT)",fontsize=16,color="black",shape="box"];416 -> 424[label="",style="solid", color="black", weight=3];
417[label="not (compare0 GT LT True == LT)",fontsize=16,color="black",shape="box"];417 -> 425[label="",style="solid", color="black", weight=3];
418[label="not (compare0 GT EQ True == LT)",fontsize=16,color="black",shape="box"];418 -> 426[label="",style="solid", color="black", weight=3];
419[label="not (compare0 True False True == LT)",fontsize=16,color="black",shape="box"];419 -> 427[label="",style="solid", color="black", weight=3];
420 -> 379[label="",style="dashed", color="red", weight=0];
420[label="not (primCmpNat vy4000 vy31000 == GT)",fontsize=16,color="magenta"];420 -> 428[label="",style="dashed", color="magenta", weight=3];
420 -> 429[label="",style="dashed", color="magenta", weight=3];
421 -> 328[label="",style="dashed", color="red", weight=0];
421[label="not (GT == GT)",fontsize=16,color="magenta"];422 -> 333[label="",style="dashed", color="red", weight=0];
422[label="not (LT == GT)",fontsize=16,color="magenta"];423 -> 356[label="",style="dashed", color="red", weight=0];
423[label="not (EQ == GT)",fontsize=16,color="magenta"];424[label="not (GT == LT)",fontsize=16,color="black",shape="triangle"];424 -> 430[label="",style="solid", color="black", weight=3];
425 -> 424[label="",style="dashed", color="red", weight=0];
425[label="not (GT == LT)",fontsize=16,color="magenta"];426 -> 424[label="",style="dashed", color="red", weight=0];
426[label="not (GT == LT)",fontsize=16,color="magenta"];427 -> 424[label="",style="dashed", color="red", weight=0];
427[label="not (GT == LT)",fontsize=16,color="magenta"];428[label="vy31000",fontsize=16,color="green",shape="box"];429[label="vy4000",fontsize=16,color="green",shape="box"];430 -> 359[label="",style="dashed", color="red", weight=0];
430[label="not False",fontsize=16,color="magenta"];}

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_not(Succ(vy4000), Succ(vy31000)) → new_not(vy4000, vy31000)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_not(Succ(vy4000), Succ(vy31000)) → new_not(vy4000, vy31000)
The graph contains the following edges 1 > 1, 2 > 2

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_inRange(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), bh, bd, app(app(app(ty_@3, cf), cg), da)) → new_inRange(@2(vy302, vy312), vy42, cf, cg, da)
new_inRange(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), app(app(app(ty_@3, ba), bb), bc), bd, be) → new_inRange(@2(vy300, vy310), vy40, ba, bb, bc)
new_inRange(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), bh, app(app(app(ty_@3, ca), cb), cc), be) → new_inRange(@2(vy301, vy311), vy41, ca, cb, cc)
new_inRange0(@2(@2(vy300, vy301), @2(vy310, vy311)), @2(vy40, vy41), eb, app(app(ty_@2, ef), eg)) → new_inRange0(@2(vy301, vy311), vy41, ef, eg)
new_inRange0(@2(@2(vy300, vy301), @2(vy310, vy311)), @2(vy40, vy41), eb, app(app(app(ty_@3, ec), ed), ee)) → new_inRange(@2(vy301, vy311), vy41, ec, ed, ee)
new_inRange(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), bh, bd, app(app(ty_@2, db), dc)) → new_inRange0(@2(vy302, vy312), vy42, db, dc)
new_inRange(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), bh, app(app(ty_@2, cd), ce), be) → new_inRange0(@2(vy301, vy311), vy41, cd, ce)
new_inRange(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), app(app(ty_@2, bf), bg), bd, be) → new_inRange0(@2(vy300, vy310), vy40, bf, bg)
new_inRange0(@2(@2(vy300, vy301), @2(vy310, vy311)), @2(vy40, vy41), app(app(ty_@2, dh), ea), dg) → new_inRange0(@2(vy300, vy310), vy40, dh, ea)
new_inRange0(@2(@2(vy300, vy301), @2(vy310, vy311)), @2(vy40, vy41), app(app(app(ty_@3, dd), de), df), dg) → new_inRange(@2(vy300, vy310), vy40, dd, de, df)

From the DPs we obtained the following set of size-change graphs:

new_inRange(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), bh, bd, app(app(app(ty_@3, cf), cg), da)) → new_inRange(@2(vy302, vy312), vy42, cf, cg, da)
The graph contains the following edges 2 > 2, 5 > 3, 5 > 4, 5 > 5
new_inRange(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), bh, app(app(app(ty_@3, ca), cb), cc), be) → new_inRange(@2(vy301, vy311), vy41, ca, cb, cc)
The graph contains the following edges 2 > 2, 4 > 3, 4 > 4, 4 > 5
new_inRange(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), app(app(app(ty_@3, ba), bb), bc), bd, be) → new_inRange(@2(vy300, vy310), vy40, ba, bb, bc)
The graph contains the following edges 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_inRange(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), bh, bd, app(app(ty_@2, db), dc)) → new_inRange0(@2(vy302, vy312), vy42, db, dc)
The graph contains the following edges 2 > 2, 5 > 3, 5 > 4
new_inRange(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), bh, app(app(ty_@2, cd), ce), be) → new_inRange0(@2(vy301, vy311), vy41, cd, ce)
The graph contains the following edges 2 > 2, 4 > 3, 4 > 4
new_inRange(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), app(app(ty_@2, bf), bg), bd, be) → new_inRange0(@2(vy300, vy310), vy40, bf, bg)
The graph contains the following edges 2 > 2, 3 > 3, 3 > 4
new_inRange0(@2(@2(vy300, vy301), @2(vy310, vy311)), @2(vy40, vy41), eb, app(app(app(ty_@3, ec), ed), ee)) → new_inRange(@2(vy301, vy311), vy41, ec, ed, ee)
The graph contains the following edges 2 > 2, 4 > 3, 4 > 4, 4 > 5
new_inRange0(@2(@2(vy300, vy301), @2(vy310, vy311)), @2(vy40, vy41), app(app(app(ty_@3, dd), de), df), dg) → new_inRange(@2(vy300, vy310), vy40, dd, de, df)
The graph contains the following edges 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_inRange0(@2(@2(vy300, vy301), @2(vy310, vy311)), @2(vy40, vy41), eb, app(app(ty_@2, ef), eg)) → new_inRange0(@2(vy301, vy311), vy41, ef, eg)
The graph contains the following edges 2 > 2, 4 > 3, 4 > 4
new_inRange0(@2(@2(vy300, vy301), @2(vy310, vy311)), @2(vy40, vy41), app(app(ty_@2, dh), ea), dg) → new_inRange0(@2(vy300, vy310), vy40, dh, ea)
The graph contains the following edges 2 > 2, 3 > 3, 3 > 4

compare1	x y True	= LT
compare1	x y False	= compare0 x y otherwise

compare2	x y True	= EQ
compare2	x y False	= compare1 x y (x <= y)